An implication in orthologic
نویسنده
چکیده
We involve a certain propositional logic based on an ortholattice. We characterize the implication reduct of such a logic and show that its algebraic counterpart is the so-called orthosemilattice. Properties of congruences and congruence kernels of these algebras are described.
منابع مشابه
From Basic Logic to Quantum Logics with Cut-elimination
The results presented in this paper were born in the framework of basic logic, a new logic aiming at the uniication of several logical systems. The rst result is a sequent formulation for orthologic which allows to use methods of proof theory in quantum logic. Such formulation admits a very simple procedure of cut-elimination and hence, because of the subformula property, also a method of proof...
متن کاملOn Different Proof-Search Strategies for Orthologic
In this paper, we consider three different search strategies for a cut-free sequent system formalizing orthologic, and estimate the respective search spaces. Applying backward search, there are classes of formulae for which both the minimal proof length and the search space are exponential. In a combined forward and backward approach, all proofs are polynomial, but the potential search space re...
متن کاملFocusing in Orthologic
We propose new sequent calculus systems for orthologic (also known as minimal quantum logic) which satisfy the cut elimination property. The first one is a very simple system relying on the involutive status of negation. The second one incorporates the notion of focusing (coming from linear logic) to add constraints on proofs and thus to facilitate proof search. We demonstrate how to take benef...
متن کاملOrthologic Tetrahedra with Intersecting Edges
Two tetrahedra are called orthologic if the lines through vertices of one and perpendicular to corresponding faces of the other are intersecting. This is equivalent to the orthogonality of non-corresponding edges. We prove that the additional assumption of intersecting non-corresponding edges (“orthosecting tetrahedra”) implies that the six intersection points lie on a sphere. To a given tetrah...
متن کاملThe De Morgan Negation on Bi-Approximation Semantics: the dual representation of unbounded ortholattices
In this paper, we have established bi-approximation semantics for lattice-based logics with the De Morgan negation (unbounded orthologic), and their morphisms. In addition, we have discussed the dual representation between unbounded ortholattices with strict homomorphisms and polarity frames and d-morphisms. Apart from the abstract construction of dual algebras in the series of the present auth...
متن کامل